An intuitionistic version of Ramsey Theorem (italian version)

RIASSUNTO. Il teorema di Ramsey [6] per coppie e’ provabile classicamente ma non intuizionisticamente [2]. In questa nota mostriamo che Ramsey si puo’ rienunciare in una forma intuizionisticamente provabile, informativa (o quanto meno priva di negazioni), e classicamente equivalente all’originale. A differenza di precedenti tentativi, non utilizziamo ne’ il noncontroesempio come in [1], [5], ne’ aggiungiamo un nuovo principio all’intuizionismo come in [4]. Congetturiamo che questa <> possa servire a rimpiazzare il Teorema di Ramsey nella prove di convergenza di programmi in [3].